gdk/toplevelsize: Add way to set margin
authorJonas Ådahl <jadahl@gmail.com>
Tue, 24 Nov 2020 14:51:56 +0000 (15:51 +0100)
committerJonas Ådahl <jadahl@gmail.com>
Mon, 7 Dec 2020 08:46:39 +0000 (09:46 +0100)
commit13b4a4b24ccdeddd83a591a707cff67063d8f1d6
treec8e2110089567cbb0efb7af147de9cc2c75f94f1
parente07fde5c81d9421a2479e92fa41a81e49aaab31e
gdk/toplevelsize: Add way to set margin

Will be used to communicate the shadow margin, instead of using
gdk_surface_set_shadow_width().

Also set these values in gtkwindow.c.
gdk/gdktoplevelsize.c
gdk/gdktoplevelsize.h
gdk/gdktoplevelsizeprivate.h
gtk/gtkwindow.c